Flow Assurance

On High-Assurance Information-Flow-Secure

Early work on information flow security sought to develop theories for proving the absence of unwanted information leakage in high-assurance systems, like those that process classified data. Decades later, modern security-critical systems are more prevalent, face greater security threats, but are rarely formally proved to be information-flow secure, not least because doing so remains fairly exp...

Flow Assurance and Natural Gas Hydrates

Flow Assurance and Natural Gas Hydrates

Flow-Service-Quality (FSQ) Requirements Engineering For High-Assurance Systems

Modern society could hardly function without the largescale, network-centric information systems that pervade government, defense, and industry. These systems exhibit shifting boundaries, often-unknown component behavior, constantly varying function and usage, and pervasive asynchronous operations. Their complexity challenges intellectual control, and their survivability has become an urgent pr...

Assurance and Assurance Cases

Assurance provides confidence that a system will work as required and not cause harm. Confidence is based on justified beliefs about the system and its environment, and justification can be developed and documented as an assurance case comprised of a structured argument grounded on evidence. For justification to be compelling, the argument must be indefeasible, meaning that we have so thoroughl...